A universality theorem for allowable sequences with applications

نویسندگان

  • Udo Hoffmann
  • Keno Merckx
چکیده

Order types are a well known abstraction of combinatorial properties of a point set. By Mnëv’s universality theorem for each semi-algebraic set V there is an order type with a realization space that is stably equivalent to V . We consider realization spaces of allowable sequences, a refinement of order types. We show that the realization spaces of allowable sequences are universal and consequently deciding the realizability is complete in the existential theory of the reals (∃R). This result holds even if the realization space of the order type induced by the allowable sequence is non-empty. Furthermore, we argue that our result is a useful tool for further geometric reductions. We support this by giving ∃Rhardness proofs for the realizability of abstract convex geometries and for the recognition problem of visibility graphs of polygons with holes using the hardness result for allowable sequences. This solves two longstanding open problems.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Simultaneous generalizations of known fixed point theorems for a Meir-Keeler type condition with applications

In this paper, we first establish a new fixed point theorem for a Meir-Keeler type condition. As an application, we derive a simultaneous generalization of Banach contraction principle, Kannan's fixed point theorem, Chatterjea's fixed point theorem and other fixed point theorems. Some new fixed point theorems are also obtained.

متن کامل

Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results

This paper is intended to give for a general mathematical audience (including non logicians) a survey about intriguing connections between analytic combinatorics and logic. We define the ordinals below ε0 in non-logical terms and we survey a selection of recent results about the analytic combinatorics of these ordinals. Using a versatile and flexible (logarithmic) compression technique we give ...

متن کامل

A Tauberian theorem for $(C,1,1)$ summable double sequences of fuzzy numbers

In this paper,  we determine necessary and sufficient Tauberian conditions under which convergence in Pringsheim's sense of a double sequence of fuzzy numbers follows from its $(C,1,1)$ summability. These conditions are satisfied if the double sequence of fuzzy numbers is slowly oscillating in different senses. We also construct some interesting double sequences of fuzzy numbers.

متن کامل

On intermediate value theorem in ordered Banach spaces for noncompact and discontinuous mappings

In this paper, a vector version of the intermediate value theorem is established. The main theorem of this article can be considered as an improvement of the main results have been appeared in [textit{On fixed point theorems for monotone increasing vector valued mappings via scalarizing}, Positivity, 19 (2) (2015) 333-340] with containing the uniqueness, convergent of each iteration to the fixe...

متن کامل

Fixed point theorems for generalized quasi-contractions in cone $b$-metric spaces over Banach algebras without the assumption of normality with applications

In this paper, we introduce the concept of generalized quasi-contractions in the setting of cone $b$-metric spaces over Banach algebras. By omitting the  assumption of normality we establish common fixed point theorems for the generalized quasi-contractions  with the spectral radius $r(lambda)$ of the quasi-contractive constant vector $lambda$ satisfying $r(lambda)in [0,frac{1}{s})$  in the set...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/1801.05992  شماره 

صفحات  -

تاریخ انتشار 2018